Optimal. Leaf size=197 \[ \frac{693 b^4 \sqrt{a x+b \sqrt{x}}}{64 a^6}-\frac{231 b^3 \sqrt{x} \sqrt{a x+b \sqrt{x}}}{32 a^5}+\frac{231 b^2 x \sqrt{a x+b \sqrt{x}}}{40 a^4}-\frac{693 b^5 \tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{a x+b \sqrt{x}}}\right )}{64 a^{13/2}}-\frac{99 b x^{3/2} \sqrt{a x+b \sqrt{x}}}{20 a^3}+\frac{22 x^2 \sqrt{a x+b \sqrt{x}}}{5 a^2}-\frac{4 x^3}{a \sqrt{a x+b \sqrt{x}}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.175458, antiderivative size = 197, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 6, integrand size = 19, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.316, Rules used = {2018, 668, 670, 640, 620, 206} \[ \frac{693 b^4 \sqrt{a x+b \sqrt{x}}}{64 a^6}-\frac{231 b^3 \sqrt{x} \sqrt{a x+b \sqrt{x}}}{32 a^5}+\frac{231 b^2 x \sqrt{a x+b \sqrt{x}}}{40 a^4}-\frac{693 b^5 \tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{a x+b \sqrt{x}}}\right )}{64 a^{13/2}}-\frac{99 b x^{3/2} \sqrt{a x+b \sqrt{x}}}{20 a^3}+\frac{22 x^2 \sqrt{a x+b \sqrt{x}}}{5 a^2}-\frac{4 x^3}{a \sqrt{a x+b \sqrt{x}}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2018
Rule 668
Rule 670
Rule 640
Rule 620
Rule 206
Rubi steps
\begin{align*} \int \frac{x^3}{\left (b \sqrt{x}+a x\right )^{3/2}} \, dx &=2 \operatorname{Subst}\left (\int \frac{x^7}{\left (b x+a x^2\right )^{3/2}} \, dx,x,\sqrt{x}\right )\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}+\frac{22 \operatorname{Subst}\left (\int \frac{x^5}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{a}\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}+\frac{22 x^2 \sqrt{b \sqrt{x}+a x}}{5 a^2}-\frac{(99 b) \operatorname{Subst}\left (\int \frac{x^4}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{5 a^2}\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}-\frac{99 b x^{3/2} \sqrt{b \sqrt{x}+a x}}{20 a^3}+\frac{22 x^2 \sqrt{b \sqrt{x}+a x}}{5 a^2}+\frac{\left (693 b^2\right ) \operatorname{Subst}\left (\int \frac{x^3}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{40 a^3}\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}+\frac{231 b^2 x \sqrt{b \sqrt{x}+a x}}{40 a^4}-\frac{99 b x^{3/2} \sqrt{b \sqrt{x}+a x}}{20 a^3}+\frac{22 x^2 \sqrt{b \sqrt{x}+a x}}{5 a^2}-\frac{\left (231 b^3\right ) \operatorname{Subst}\left (\int \frac{x^2}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{16 a^4}\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}-\frac{231 b^3 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{32 a^5}+\frac{231 b^2 x \sqrt{b \sqrt{x}+a x}}{40 a^4}-\frac{99 b x^{3/2} \sqrt{b \sqrt{x}+a x}}{20 a^3}+\frac{22 x^2 \sqrt{b \sqrt{x}+a x}}{5 a^2}+\frac{\left (693 b^4\right ) \operatorname{Subst}\left (\int \frac{x}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{64 a^5}\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}+\frac{693 b^4 \sqrt{b \sqrt{x}+a x}}{64 a^6}-\frac{231 b^3 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{32 a^5}+\frac{231 b^2 x \sqrt{b \sqrt{x}+a x}}{40 a^4}-\frac{99 b x^{3/2} \sqrt{b \sqrt{x}+a x}}{20 a^3}+\frac{22 x^2 \sqrt{b \sqrt{x}+a x}}{5 a^2}-\frac{\left (693 b^5\right ) \operatorname{Subst}\left (\int \frac{1}{\sqrt{b x+a x^2}} \, dx,x,\sqrt{x}\right )}{128 a^6}\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}+\frac{693 b^4 \sqrt{b \sqrt{x}+a x}}{64 a^6}-\frac{231 b^3 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{32 a^5}+\frac{231 b^2 x \sqrt{b \sqrt{x}+a x}}{40 a^4}-\frac{99 b x^{3/2} \sqrt{b \sqrt{x}+a x}}{20 a^3}+\frac{22 x^2 \sqrt{b \sqrt{x}+a x}}{5 a^2}-\frac{\left (693 b^5\right ) \operatorname{Subst}\left (\int \frac{1}{1-a x^2} \, dx,x,\frac{\sqrt{x}}{\sqrt{b \sqrt{x}+a x}}\right )}{64 a^6}\\ &=-\frac{4 x^3}{a \sqrt{b \sqrt{x}+a x}}+\frac{693 b^4 \sqrt{b \sqrt{x}+a x}}{64 a^6}-\frac{231 b^3 \sqrt{x} \sqrt{b \sqrt{x}+a x}}{32 a^5}+\frac{231 b^2 x \sqrt{b \sqrt{x}+a x}}{40 a^4}-\frac{99 b x^{3/2} \sqrt{b \sqrt{x}+a x}}{20 a^3}+\frac{22 x^2 \sqrt{b \sqrt{x}+a x}}{5 a^2}-\frac{693 b^5 \tanh ^{-1}\left (\frac{\sqrt{a} \sqrt{x}}{\sqrt{b \sqrt{x}+a x}}\right )}{64 a^{13/2}}\\ \end{align*}
Mathematica [C] time = 0.059961, size = 64, normalized size = 0.32 \[ \frac{4 x^{7/2} \sqrt{\frac{a \sqrt{x}}{b}+1} \, _2F_1\left (\frac{3}{2},\frac{13}{2};\frac{15}{2};-\frac{a \sqrt{x}}{b}\right )}{13 b \sqrt{a x+b \sqrt{x}}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.012, size = 549, normalized size = 2.8 \begin{align*}{\frac{1}{640}\sqrt{b\sqrt{x}+ax} \left ( 256\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{13/2}{x}^{2}-352\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{11/2}{x}^{3/2}b-4060\,\sqrt{b\sqrt{x}+ax}{a}^{9/2}{x}^{3/2}{b}^{3}+528\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{9/2}x{b}^{2}+3136\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{7/2}\sqrt{x}{b}^{3}-10150\,\sqrt{b\sqrt{x}+ax}{a}^{7/2}x{b}^{4}+8960\,{a}^{7/2}x\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }{b}^{4}+2000\, \left ( b\sqrt{x}+ax \right ) ^{3/2}{a}^{5/2}{b}^{4}-8120\,\sqrt{b\sqrt{x}+ax}{a}^{5/2}\sqrt{x}{b}^{5}+17920\,{a}^{5/2}\sqrt{x}\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }{b}^{5}-2560\,{a}^{5/2} \left ( \sqrt{x} \left ( b+a\sqrt{x} \right ) \right ) ^{3/2}{b}^{4}-2030\,\sqrt{b\sqrt{x}+ax}{a}^{3/2}{b}^{6}+8960\,{a}^{3/2}\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }{b}^{6}+2030\,\ln \left ( 1/2\,{\frac{2\,a\sqrt{x}+2\,\sqrt{b\sqrt{x}+ax}\sqrt{a}+b}{\sqrt{a}}} \right ) \sqrt{x}{a}^{2}{b}^{6}+1015\,\ln \left ( 1/2\,{\frac{2\,a\sqrt{x}+2\,\sqrt{b\sqrt{x}+ax}\sqrt{a}+b}{\sqrt{a}}} \right ) x{a}^{3}{b}^{5}-8960\,{a}^{2}\ln \left ( 1/2\,{\frac{2\,\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }\sqrt{a}+2\,a\sqrt{x}+b}{\sqrt{a}}} \right ) \sqrt{x}{b}^{6}-4480\,{a}^{3}\ln \left ( 1/2\,{\frac{2\,\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }\sqrt{a}+2\,a\sqrt{x}+b}{\sqrt{a}}} \right ) x{b}^{5}+1015\,\ln \left ( 1/2\,{\frac{2\,a\sqrt{x}+2\,\sqrt{b\sqrt{x}+ax}\sqrt{a}+b}{\sqrt{a}}} \right ) a{b}^{7}-4480\,a\ln \left ( 1/2\,{\frac{2\,\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }\sqrt{a}+2\,a\sqrt{x}+b}{\sqrt{a}}} \right ){b}^{7} \right ){a}^{-{\frac{15}{2}}}{\frac{1}{\sqrt{\sqrt{x} \left ( b+a\sqrt{x} \right ) }}} \left ( b+a\sqrt{x} \right ) ^{-2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{3}}{{\left (a x + b \sqrt{x}\right )}^{\frac{3}{2}}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{x^{3}}{\left (a x + b \sqrt{x}\right )^{\frac{3}{2}}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: TypeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]